The author's semantic theory is applied to the problem whether logic and semantics presuppose any ontological theory. it is concluded that, whereas formal logic has no ontological commitments at all, the applications of any theory of reference do presuppose some assumption concerning the furniture of the world, and the very notion of factual truth (as opposed to that of formal truth) presupposes the hypothesis that there exists something external to the factual propositions.

The concept of a linguistic framework and the distinction between internal and external questions are the central ideas of Rudolf Carnap's "Empiricism, Semantics, and Ontology." It is not uncommon to encounter the suggestion that reflection on the theoretical and experimental investigations which led to the acceptance of the atomic hypothesis undermines Carnap's distinction between these two types of question and the utility of his notion of a linguistic framework. I believe this is a mistake. There is a natural (...) development of the distinction and the notion of framework choice with which it is paired that is perfectly capable of accommodating this case. I show this by bringing out a subtlety that arises in the extension of the con ceptual apparatus of ESO to the realism/instrumentalism controversy. When this subtlety is taken into account, the question contested by the nineteenth- and early twentieth-century opponents and proponents of the atomic hypothesis, and successfully addressed by Einstein and Perrin, is readily seen to be internal. Moreover, this formulation of the distinction and the controversy are both independent of Carnap's views on cognitive significance and factual content. I conclude with a presentation and discussion of two formulations of the realism/instrumentalism controversy that are based on Carnap's explication of the factual content of a theory in terms of the notion of its Ramsey sentence. (shrink)

It is widely assumed in philosophy that there is a tight connection between semantics and metaphysics. Semantic theories about the meanings of natural language terms and phrases are taken to provide evidence for and against various metaphysical theses about the nature of non-linguistic parts of the world. Call this view the widespread thesis. I argue that the widespread thesis is mistaken: semantic theories do not generally have robust metaphysical consequences. I contend that the best arguments for the widespread thesis (...) turn on an interpretation of semantic theories according to which they are metaphysically illuminating: the metaphysical structure of the world is directly mirrored in the structure of the theory. Terms and existential quantification in the theory signal the existence of entities in the world, predicates signal the existence of properties, and the structures of set theoretic objects invoked by the theory directly correspond to structural features of the world. Such an interpretation is not the only one available, however, and it is a substantive philosophical (and linguistic) issue which interpretation is correct. Accordingly, I develop and defend an alternative interpretation of semantic theories according to which the structural features of these theories and of their theorems reflect biological and computational constraints on the architecture of the language faculty and historical contingencies in its evolutionary development. Supposedly metaphysically committing features of the theory—including the appearance of quantification and (ostensibly) referring terms—may thus be arepresentational artifacts of these constraints, rather than representational features that reflect metaphysical reality. To determine the metaphysical consequences of a semantic theory then, we must determine which of its features represent language-independent characteristics of the world and which are arepresentational consequences of the structure of the language faculty. To do this, however, we must have some prior idea what the language-independent world is like—that is, we must engage in prior metaphysical theorizing that is not beholden to the semantic theory itself. (shrink)

Focusing on the systematic polysemy of institution-denoting terms, this paper defends the general view that such multiple-meaning phenomena take root in the complex ontological structure of the den...

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments (...) to a theory. Given this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed (...) for intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

This special issue of GPS collects 11 papers (and a long introduction), by leading philosophers and young researchers, which tackle more or less from close the topic of propositions by trying to provide the reader with a cross-section of the ongoing debate in this area. The raised issues range over the semantics, the ontology, the epistemology, and the philosophy of mathematics and stimulate the reader to reflect on crucial problems such as the following: are propositions objects? In the (...) positive case, what kind of objects are they? Can they be grasped by cognitive creatures such as we are? When can we say that two people entertain the same proposition? Have propositions any role to play in speech act theory? Even though the notion of proposition has received considerable attention in the past philosophical debate, it is still of great interest, in particular in connection with the attacks which have recently been launched against it in the theory of language. The volume, which is equipped with a long and detailed introduction that supplies the young reader with useful background information on the different stances in the debate, could prove useful also for didactic purposes. (shrink)

This paper aims to assess medieval terminism, particularly supposition theory, in the development of Aristotelian thought in the Latin West. The focus is on what the present author considers the gist of Aristotle’s strategy of argument, to wit conceptual focalization and categorization. This argumentative strategy is more interesting as it can be compared to the modern tool known as ‘scope distinction’.

This paper will deal with three questions regarding Carnap's transition from the position he held at the time of writing Syntax to the doctrines he held during his semantic phase: (1) What was Carnap's attitude towards truth at the time of writing Syntax? (2) What was Carnap's position regarding questions of reference and ontology at the time of writing Syntax? (3) Was Carnap's acceptance of Tarski's analysis of truth and reference detrimental to his philosophical project? Section 1 of this (...) paper will deal with the first of these questions. Special attention will be paid to identifying what it was that prevented Carnap from defining a truth predicate for descriptive languages in Syntax. Section 2 of this paper will deal with the question of Carnap's attitude towards reference and ontology in Syntax. It will be shown that the attempt in Syntax to address ontological questions is seriously defective. Section 3 of this paper addresses the last of the questions posed above. It is argued that in the light of what is established in Sections 1 and 2, Carnap could not have retained the position of Syntax with respect to truth and reference. (shrink)

ABSTRACT: Rudolf Carnap’s “Empiricism, Semantics and Ontology” (ESO) has received a good deal of sympathetic interest over the years from philosophers who are not particularly sympathetic to verificationism, or suspicious of metaphysics in general. Recent work has favorably cited ESO in connection with doubts about the genuine content of debates in the metaphysics of material objects. But, when we look at how Carnap introduces his central notion of a ‘framework’, and the questions he wants to use it to (...) deflate, there seem to be significant differences in his approach and aim from that of contemporary deflationists about the metaphysics of material objects. This paper first looks at some of these differences, and suggests a way of seeing them as arising more from differences in focus and interest than fundamental approach. However, a further question is whether philosophers who may entirely disagree with Carnap about abstract entities, or the substantiveness of the debate between Realists and Idealists – possibly all of his negative conclusions in ESO - can really be seen as heirs to his approach and argument therein. We look first at his discussion of the Realism/Idealism debate, to sort out different aspects of his analysis, and determine to what extent one can disagree with it while not thinking this undermines other analyses using the same general strategy. In the course of this, we are able to distinguish the basic Carnapian analysis of metaphysical disputes, from the question of whether, if the analysis is correct, this actually subverts the disputes. I suggest that, if we put verificationism aside, ESO really provides us with an approach and a type of skeptical challenge more than an argument, and it is open to contemporary philosophers to think that this skeptical challenge can (or can’t) be met, or can be supplemented by further argument, on a case by case basis. (shrink)

In this thesis, Semantics, Meta-Semantics, and Ontology, I provide a critique of the method of truth in metaphysics. Davidson has suggested that we can determine the metaphysical nature and structure of reality through semantic investigations. By contrast, I argue that it is not semantics, but meta-semantics, which reveals the metaphysically necessary and sufficient truth conditions of our claims. As a consequence I reject the Quinean criterion of ontological commitment. In Part I, chapter 1, I argue (...) that the metaphysically primary truth bearers are not propositions, but rather concrete representations, either beliefs or sentences. I show, in chapter 2, that we can give sense to a truth predicate applying to sentences, given a truth operator and quantification into sentence position. I argue that this strategy does not commit us to the existence of propositions serving as truth bearers. In Part II I argue that although we must assign semantic values to sentences and/or predicates, the meaningfulness of these expressions is not thereby explained. In chapter 3 I articulate Davidson’s problem of predication and his solution, but argue that he was wrong to attribute this solution to Tarski. In chapter 4 I examine the semantics of modal languages; I conclude that although they require semantic values for predicates and/or sentences we should be instrumentalists about these theories. In Part III I consider the relationship between truth and existence. In chapter 5, I defend Pluralism about truth: in some domains of discourse, I claim, semantic reference plays a merely instrumental role in explaining truth. In chapter 6, I show that Hume’s Principle, which is committed by the Quinean criterion to the existence of numbers, can be true even though numbers do not exist. In doing so, I appeal to meta-semantic and diachronic considerations. In the conclusion I compare my views on ontology and commitment to Jody Azzouni’s; and in the appendix I suggest how one might pursue diachronic linguistics. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not (...) a real property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

In philosophy one runs the risk of two kinds of criticism: that the answer one gives to a question is false or otherwise inadequate; or, perhaps worse, that the question one is trying to answer is itself misconceived. Carnap has directed a criticism of the second kind against traditional ontological disputes; the supposed issue between nominalists and realists is, according to him, devoid of cognitive content. This view is, of course, of a piece with Carnap’s general antipathy to metaphysical questions: (...) nevertheless, Carnap employs some specific arguments against ontological questions in particular, and does not rely on standard verificationist arguments against metaphysics in general. My object in this paper will be mainly to get clear the issues raised by Carnap in ‘Empiricism, Semantics and Ontology’,’ in the hope that this will clear the way for a positive account of the status of ontological issues. In the final section I shall offer some- inevitably sketchy - suggestions towards such an account. (shrink)

The relationship between thought and reality was a focal point of Wyclif’s reflection. On the one hand, Wyclif believed that thought was linguistically constrained by its own nature; on the other hand, he considered thought to be related to reality in its elements and constitution. Hence he deemed language, thought, and external reality to be of the same logical coherence. Within this context, the theory of supposition was intended to explain the different roles that terms can have in relation to (...) language and the extra-mental world when they appear as extremes in propositions. Characteristically, his theory of supposition provides an account not only of the truth-values of a sentence, but also of its meaning; it is not therefore simply a theory of reference, but a sort of complex analysis of language viewed as a semiotic system whose unique interpretative model was reality itself. It gives clear evidence of Wyclif’s realist stance and of his conviction that any kind of linguistic and semantic features must be grounded on ontological structures. (shrink)

Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy. He was a great thinker, a great teacher, a great organizer of philosophical and scientific life, and, last but not least, a great moral authority. He died at the age of 96 on October 3, 1981. Kotarbinski was active in almost all branches of philosophy. He made many significant contributions to logic, semantics, ontology, epistemology, history of philosophy, and ethics. He created a new field, namely praxiology. Thus, (...) using an ancient distinction, he contributed to theoretical as well as practical philoso~hy. Kotarbinski regarded praxiology as his major philosophical "child". Doubtless, praxiology belongs to practical philosophy. This collection, howewer, is mainly devoted to Kotarbinski' s theoretical philosophy. Reism - Kotarbinski' s fundamental idea of ontology and semantics - is the central topic of most papers included here; even Pszczolowski' s essay on praxiology considers its ontological basis.,Only two papers, namely that of Zarnecka-Bialy and that of Wolenski, are not linked with reism. However, both fall under the general label "Kotarbinski: logic, semantics and ontology". The collection partly consists of earlier published papers. (shrink)

This research is aimed at explaining and analyzing the ontological status of semantical objects of religious language. This ontological status concern how every term in religious language refers to an object and how we interpret those terms, whether it represents the object itself or merely its sensual or constructive properties. This finding lies in the disputation between religious realism and non-realism. The results of this research are (1) every believer is exactly a realist because he or she has the ontological (...) commitment to the object of the utterance, but (2) God exists independently from human thought and consciousness, (3) it is possible to put God as the object of intentional and semantic but only represents sensible qualities of the real object, and (4) the meaning of religious language depends on believer's ontological commitment on God's existence. (shrink)

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a (...) class='Hi'>semantics of pluralities for Boolos’ plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ second-order languages to second-order entities, contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics. (shrink)

The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose OM- Doc as an alternative. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, (...) modular design, documentation, and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies). (shrink)

In this paper I approach the hermeneutic of living nature as suggested by Martin Heidegger in The Fundamental Concepts of Metaphysics. On the basis of complex hermeneutic procedures, Heidegger held the well-known thesis about the animal’s poverty of world. My hypothesis is that the relevance of this thesis should be minimized for the sake of the acknowledgment of a poverty in the world proper to human beings. Poverty in the world refers to the main result of a comparison between the (...) structure of the intentionality of animals and the transcendental-formative structure of human existence. Such a comparison does not only point out the lack of the “something as something-structure” in the intentionality of animals, but also the necessary fragmentation in the human sharing of life’s intentionality. From here results a very important semantic limitation, for every meaningful speech about animal life should take into account the incompleteness in the sharing of the intentional spheres of living beings and humans. I conclude suggesting a set of questions that should be focused in a constructive hermeneutic of living nature. Key words: Heidegger, hermeneutic of nature, lfe, intentionality. (shrink)

This study offers a re-interpretation of basic elements of Aristotle's semantics and metaphysics on the basis of a meticulous reconstruction of his semantics. By eliminating anachronistic conceptions commonly ascribed to him, many shortcomings or obscurities he is accused of will disappear.

This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its (...) semantic application. Formalizing the compatibility [Vereinbarkeit] relation implicated in Husserl's notorious doctrine of impossible meanings, the essay introduces a compatibility restriction on relations to formulate Husserl's distinction between singular [einheitliche] and plural [mehrheitliche] objects, using plural relating moments to define first-order versions of Husserl's notions of relation complexes (i.e. Sachverhalte), abstracta of n-ary relation complexes, categorial relations, abstract eide as unifications of categorial relations, semantic domains as completions of abstract eide, and material regions as semantic domains which are compatibility upper bounds of categorial relations. These concepts will enable the formal dependence-ontological noetic semantics for two-valued, first-order modal languages introduced in the sequel Two-Valued Logics of Intentionality, the third essay in the sequence. (shrink)

This paper deals with John Wyclif 's account of the fallacia accidentis. To a certain extent Wyclif 's explanations fit in with Aristotle's understanding of language. Aristotle recognises that we can talk about substances in many different ways; we can introduce them by using 'substantial' names, but also by using names derived from the substances' accidental features. The substances are the ultimate foundation of all these expressions. This idea in itself is not opposed to a conceptualist account of language. John (...) Buridan uses Aristotle's principle of categorisation to show how language works, but for him the activity of categorising things is to be explained in terms of our mental activities only. Wyclif, on the other hand, reads much into the requirement that all our linguistic distinctions should have their basis in extramental reality: our conceptualisations not only pertain to individual substances, but also parallel their distinct ontic layers. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the (...) Open Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

In a previous article, I argued that some recent philosophical work on the use of fictions in science is, while illuminating about some aspects of current scientific practice, unduly limited to cases of well-established fictions. In other words, this earlier work contended, a philosophical account of scientific fictions can do more than merely describe scientific practices, but can aid in the resolution of disputes about the proper interpretation of scientific theories and the epistemic status of some scientific models. In the (...) present paper, I expand upon the variational account of fictions and idealizations... (shrink)

Against the standard reading of Isaiah Berlin's thought that drives a wedge between his early and subsequent work, this article suggests that his late normative anti-reductionism has roots in the early writings on meaning, semantics and truth. Berlin's anti-reductionist objection to logical positivists in the realm of semantics evince a sensitivity to reductionism, a recognition of the irreducibility of propositional meaning, a plea for the embededness of language in a temporal continuum, an anti-dualist call, and a celebration of (...) the plural and open-ended character of propositions, all of which keep broad affinity with his mature value pluralism in ethics and politics. The unity of concerns in Berlin's work brings about two implications. First, it sheds light on the fact that Berlin's ethical and political pluralism rests on views about semantics and ontology as well. Second, it offers a basis on which to deflect some current moral realist readings of his value pluralism, offering instead a history-laden understanding of his pluralism that provides more compelling grounds to understand the relationship between the latter and liberalism in Berlin's work. (shrink)

In this paper I show how certain requirements must be set on any tenable account of scientific representation, such as the requirement allowing for misrepresentation. I then continue to argue that two leading accounts of scientific representation— the inferential account and the interpretational account—are flawed for they do not satisfy such requirements. Through such criticism, and drawing on an analogy from non-scientific representation, I also sketch the outline of a superior account. In particular, I propose to take epistemic representations to (...) be intentional objects that come with reference, semantic contents and a representational code, and I identify faithful representations as representations that act as guides to ontology. (shrink)

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

"Abelard composed four works on logic: (1) Introductiones Parvulorum, which consists of short glosses on Porphyry Eisagoge and Aristotle Categories and De Interpretatione; (2) Logica Ingredientibus (so called because ingredientibus is the first word of its text), which consists of longer glosses on the texts covered by the previous work together with Boethius' De Differentiis Topicis and was probably written while Abelard was teaching in Paris before 1120; (3) Logica Nostrorum Petitioni (so called because nostrorum petitioni are the first words (...) of its text), which consists of longer glosses on the Eisagoge and may date from the time of his teaching at the hermitage of the Paraclete; (4) Dialectica, which has the form of an independent work about the subjects covered by Boethius' logical writings and Victorinus' treatise De Definitionibus and seems to contain materials from different periods of Abelard's life but probably did not reach its final form until a late date, perhaps the time of his stay at Cluny shortly before his death. Of these the second and the fourth are the most valuable. The Dialectica indeed, though based, like that of Garland, chiefly on the works of Boethius and written with the prolixity which was all too common among medieval authors, is an original composition of great importance for the development of logic. Abelard's mind was the keenest (though not in all respects the most admirable) that had been devoted to the subject for more than a thousand years, and he approached his task with the belief that it was still possible to make discoveries: 'Non enim tanta fuit antiquorum scriptorum perfectio ut non et nostro doctrina indigeat studio, nec tantum in nobis mortalibus scientia potest crescere ut non ultra possit augmentum recipere.' (1) The Dialectica survives in a single manuscript which lacks the opening sections. Excerpts from it were published by Victor Cousin in 1836 in his Ouvrages inédits d' Abelard. But unfortunately the text was not printed in full until 1956, and before that date it was therefore not possible to appreciate the magnitude of Abelard's contribution to the doctrines we regard as characteristically medieval.. (shrink)

Reconciling paraphrases, this chapter states, are intended to show that two apparently inconsistent claims are in fact consistent. A growing number of philosophers have come to doubt the legitimacy of reconciling paraphrases due to the lack of ‘respectable’ evidence that can be provided on their behalf. Specifically, these critics think that in order to be plausible, reconciling paraphrases must be accompanied by evidence that would be of interest to linguists, semanticists, or philosophers of language. Since reconciling paraphrases are almost never (...) offered with such evidence, these critics maintain that such paraphrases can be dismissed as mere wishful thinking. This chapter argues that this concern is mistaken: for many paraphrases, a lack of such evidence is not even a concern, much less a condemnation. (shrink)

Empiricists are in general rather suspicious with respect to any kind of abstract entities like properties, classes, relations, numbers, propositions, etc. They usually feel much more in sympathy with nominalists than with realists (in the medieval sense). As far as possible they try to avoid any reference to abstract entities and to restrict themselves to what is sometimes called a nominalistic language, i.e., one not containing such references. However, within certain scientific contexts it seems hardly possible to avoid them. In (...) the case of mathematics some empiricists try to find a way out by treating the whole of mathematics as a mere calculus, a formal system for which no interpretation is given, or can be given. Accordingly, the mathematician is said to speak not about numbers, functions and infinite classes but merely about meaningless symbols and formulas manipulated according to given formal rules. In physics it is more difficult to shun the suspected entities because the language of physics serves for the communication of reports and predictions and hence cannot be taken as a mere calculus. A physicist who is suspicious of abstract entities may perhaps try to declare a certain part of the language of physics as uninterpreted and uninterpretable, that part which refers to real numbers as space-time coordinates or as values of physical magnitudes, to functions, limits, etc. More probably he will just speak about all these things like anybody else but with an uneasy conscience, like a man who in his everyday life does with qualms many things which are not in accord with the high moral principles he professes on Sundays. Recently the problem of abstract entities has arisen again in connection with semantics, the theory of meaning and truth. Some semanticists say that certain expressions designate certain entities, and among these designated entities they include not only concrete material things but also abstract entities e.g., properties as designated by predicates and propositions as designated.... (shrink)

'Ontological Semantics' introduces a comprehensive approach to the treatment of text meaning by computer, arguing that being able to use meaning is crucial to the success of natural language processing applications.

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

In this paper I aim to defend one version at least of Hume’s dictum: roughly, the idea that possibility is determined by ontology through something like independent variation. My defence is broadly pragmatic, in the sense that adherence to something like Hume’s dictum delivers at least three benefits. The first benefit is that, through Hume’s dictum, a physical theory’s ontology delimits a range of possibilities, that I call kinematical possibilities, which serves as a sufficiently permissive notion of possibility (...) to sustain something like an intensional semantics for its claims, and a sufficiently demanding notion of supervenience to sustain plausible claims of inter-theoretic reduction and theoretical equivalence. The second benefit is that Hume’s dictum allows us to work backwards from a range of kinematical possibilities to an ontology. This is especially useful when aiming to glean an interpretation of a physical theory, since often we are more confident that we have arrived at the right space of possibilities than that we have arrived at the right ontology. The third benefit is that Hume’s dictum —- at least the version I aim to defend here —- may be applied to physical theories more or less as we find them, and therefore we can practice something resembling ontology without having to force our theories into some Procrustean bed, such as a first-order language. (shrink)

As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.

Ontologies and related reasoning systems are key to the facilitation of semantic integration and interoperability. But several key questions are involved. How do we define the tools, methodologies...

Semantics may be said to be relevant to ontology in, at least, two ways: semantic considerations may pertain to meaning, or to justication of ontological statements. An ontological thesis may be given a semantic paraphrase, or only a semantic reason. The analysis of the doctrine of transcendental idealism provided by Ajdukiewicz illustrates the rst case. Its eect is a semantic paraphrase of the allegedly ontological idealistic thesis. In contradistinction to it, the exposition of the doctrine of reism as (...) contained in Kotarbinski's work may serve as an example of the second case. Ascribing a genuinely ontological meaning to the reistic thesis, the author adduces for it reasons of explicitly semantic nature. It is on this case that I shall concentrate in the present paper. The problem is a general one. It pertains to the whole class of so-called reductionistic ontological doctrines, which, as a rule, are being justied in a similar way. Generally speaking, it is a way that involves an inference from the nature of language to the nature of the world. Let us analyze that kind of argumentation on the example of the reistic thesis. (shrink)

The phenomenon of rigid designation - in particular, de jure rigidity - is typically treated metaphysically. The picture is: reference is gained in a way that puts no constraints on what an object in other worlds, or counterfactual situations must be like, in order to be the referent of that term, other than 'being this thing'. This allows 'pure metaphysical' investigation into, and discovery of 'the nature' of the referent. It is argued that this presupposes a 'privileged' ontology, of (...) a sort that is far from obvious. An alternative picture of rigidity is sketched, terms have associated criteria of identity and criteria of application for counterfactual situations. A term is rigid when these coincide. Aside from being a better account of rigidity, it also undermines the picture of rigid terms allowing us to 'metaphysically' investigate the nature of the referent: matters of identity and essence for the referent are settled by these semantic constraints (though it can be done in a way that allows are a posteriori necessities). (shrink)

This paper argues for a distinction between fictional characters, as parts of intentionally created abstract artifacts, and intentional objects, as nonexistent objects generated by referential acts that fail to refer. It argues that intentional objects as the nonexistent objects of imagination and other objectual attitudes are well-reflected in natural language, though in a highly restricted way, reflecting their ontological dependence on referential acts. The paper elaborates how that ontological dependence can be understood.

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...) entail each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the (...) actual objects of discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

This article is about the conception of truth and signification in Augustine's early philosophical writings. In the first, semantic-linguistic part, the gradual shift of Augustine's position towards the Academics is treated closely. It reveals that Augustine develops a notion of sign which, by integrating elements of Stoic epistemology, is suited to function as a transmitter of true knowledge through linguistic expressions. In the second part, both the ontological structure of signified (sensible) things and Augustine's solution to the apparent tautologies of (...) mathematical truths are examined. Again his notion of sign turns out to be the keystone; this time, however, the natural in contrast to the conventional sign of linguistic expressions. In their complementarity, both parts show how Augustine intensely struggles with and (partially) overcomes the skepticism of the sensible world through his conception of sign and signification. (shrink)

This work is a study in the new field of paraconsistent logics. The authors attempt to give a formal characterization of the notions of indeterminate possible worlds and inconsistent possible worlds. The characterization works by constructing the non-standard worlds out of combinations of standard possible worlds either by taking those statements as true in a non-standard world which are true in both of two standard worlds, which generates indeterminate worlds, or by taking those statements as true in a non-standard world (...) which are true in either of two standards worlds, which generates inconsistent worlds. (shrink)

The essay addresses the debates about the ontology of norms considering the case of accounting for customary norms. It undertakes and defends a stance in favor of a semantic ontology by developing a framework for the explanation of norms as abstract objects and their linking with social facts to be identified in categories like “customary”, “enacted”, “legal”, “grammatical”, and so on. Furthermore, the work addresses the rival conceptions (pragmatic and eclectic) by showing the specific impossibility that these face (...) for giving a satisfactory account on customary norms. The inquiry concludes by exploring some possible insights from the philosophy of mind to explain the conceptual nature of norms as mental representations. (shrink)